Dowolna warstwa lewostronna grupy [~] wzgldem podgrupy [~] jest rwnoliczna z dowoln warstw prawostronn wzgldem [~]. Wobec udowodnionej wyej wasnoci wystarczy wykaza, e dla pewnego [~] nalecego do zbioru [~] warstwy [~] i [~] s rwnoliczne. Rzeczywicie, wemy [~] wwczas [#] 